Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
251	Network Working Group Request for Comments: 1351 J. Davin MIT Laboratory for Computer Science J. Galvin Add to Reading List Source URL: www.rfc-editor.org Language: English - Date: 2002-03-27 15:09:15 Information technology management Internet standards System administration Internet Multi-agent systems Simple Network Management Protocol Abstract Syntax Notation One Object identifier Port Network management Computing Internet protocols
252	TS[removed]V1[removed]Methods for Testing and Specifications (MTS); TTCN-3 Conformance Test Suite for use of XML schema; Test Suite Structure and Test Purposes (TSS&TP) Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-03-19 05:30:04 TTCN European Telecommunications Standards Institute XML Schema Abstract Syntax Notation One XML Computing Software testing OSI protocols
253	Source code analysis and transformation Martin Monperrus Creative Commons Attribution License Add to Reading List Source URL: www.monperrus.net Language: English XML Grep DMS Software Reengineering Toolkit Computing Abstract syntax tree Java
254	TM The Simple Times THE BI-MONTHLY NEWSLETTER OF SNMP TECHNOLOGY, COMMENT, AND EVENTSSM VOLUME 2, NUMBER 1 Add to Reading List Source URL: www.simple-times.org Language: English - Date: 1998-03-27 05:06:22 System software Management information base Simple Network Management Protocol RMON Structure of Management Information Abstract Syntax Notation One Object identifier Compiler Network Management Application Network management Information technology management Computing
255	ANSI/ASHRAE Addendum ad to ANSI/ASHRAE Standard[removed]ASHRAE ADDENDA A Data Communication Protocol for Building Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2011-12-01 16:26:11 BACnet Abstract Syntax Notation One Technology Building automation Information ASHRAE Handbook Heating ventilating and air conditioning American Society of Heating Refrigerating and Air-Conditioning Engineers Engineering
256	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
257	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
258	Common Alerting Protocol Version 1.2 Public Review Draft 03 Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2010-03-19 10:01:42 Technical communication Computer file formats Common Alerting Protocol Internet standards Abstract Syntax Notation One Emergency Alert System Specific Area Message Encoding HTML OASIS Computing OSI protocols Markup languages
259	Design and Implementation of LDAP Component Matching for Flexible and Secure Certificate Access in PKI Sang Seok Lim Jong Hyuk Choi Add to Reading List Source URL: www.openldap.org Language: English - Date: 2014-09-29 17:45:14 Public-key cryptography Internet protocols Internet standards Cryptographic protocols Lightweight Directory Access Protocol OpenLDAP Generic String Encoding Rules Abstract Syntax Notation One X.509 Cryptography Computing Directory services
260	CITI Technical Report[removed]MICA: A MIB Compiler in Java David T. Nettleman Center for Information Technology Integration University of Michigan Add to Reading List Source URL: www.citi.umich.edu Language: English - Date: 1999-01-07 15:13:56 System software Management information base Simple Network Management Protocol Structure of Management Information Object identifier Abstract Syntax Notation One Basic Encoding Rules Network management station Object Network management Information technology management Computing

UPDATE